package datatypes.r2.foundation;

import datatypes.r2.flavors.ST_SIMPLE;
import datatypes.r2.quantities.INT;

public interface BAG<T> extends COLL<T> {
	INT count(T item);

	BAG<T> plus(BAG<T> x);

	BAG<T> minus(BAG<T> x);

	ST_SIMPLE literal();

	BAG<T> promotion(T x);

	BAG<T> promotion(DSET<T> x);
}
